Section: Software and Platforms

The diy tool suite

Participants : Luc Maranget [correspondant] , Jade Alglave [University College London] , Susmit Sarkar [University of St Andrews] , Peter Sewell [University of Cambridge] .

The diy suite provides a set of tools for testing shared memory models: the litmus tool for running tests on hardware, various generators for producing tests from concise specifications, and herd, a memory model simulator. Tests are small programs written in x86, Power or ARM assembler that can thus be generated from concise specification, run on hardware, or simulated on top of memory models. Test results can be handled and compared using additional tools.

The tool suite and a comprehensive documentation are available from http://diy.inria.fr/ .